Description

Several tests were disabled during the migration on GitHub. In this request, I enable them back.

Fixes #3

Type of Change

• Bug fix (non-breaking change which fixes an issue)

How Has This Been Tested?

Automated Testing

Tests from the issue:

• MockWithSideEffectExampleTest.testSideEffectElimination
• MockWithSideEffectExampleTest.testSideEffectWithoutMocks
• MockWithSideEffectExampleTest.testStaticMethodSideEffectEliminationWithoutMocks
• MockWithSideEffectExampleTest.testSideEffect
• MockWithSideEffectExampleTest.testStaticMethodSideEffectElimination
• ModelMinimizationExamplesTest.conditionCheckAEqTest
• ModelMinimizationExamplesTest.conditionCheckANeTest
• ModelMinimizationExamplesTest.conditionCheckBEqTest
• ModelMinimizationExamplesTest.conditionCheckBNeTest
• ModelMinimizationExamplesTest.conditionCheckNoNullabilityConstraintTest
• ModelMinimizationExamplesTest.firstArrayElementContainsSentinelTest
• ModelMinimizationExamplesTest.multipleConstraintsTest
• ModelMinimizationExamplesTest.singleValueComparisonNotNullTest
• ModelMinimizationExamplesTest.singleValueComparisonTest
• SimpleClassMultiInstanceExampleTest.singleObjectChangeTest

Manual Scenario

Not applicable.

Checklist:

• The change followed the style guidelines of the UTBot project
• Self-review of the code is passed
• The change contains enough commentaries, particularly in hard-to-understand areas
• New documentation is provided or existed one is altered
• No new warnings
• Tests that prove my change is effective
• All tests pass locally with my changes